home *** CD-ROM | disk | FTP | other *** search
/ AOL File Library: 4,101 to 4,200 / aol-file-protocol-4400-4101-to-4200.zip / AOLDLs / ADV - Articles & Misc / Some Useful Tables / USEFULL.tables / LOGIC.TABLE (.txt) < prev    next >
AppleWorks Document  |  1993-12-10  |  4KB  |  54 lines
  1. O===============================================================================
  2. O=====<====<====<====<====<====<====<====<====<====<====<====<====<====<====<===
  3.  ------------------------------  ------------  -------
  4. O=====<====<====<====<====<====<====<====<====<====<====<====<====<====<====<===
  5. ----------------------------------------------------------------------
  6. LOGICAL EQUIVALENCE, NEGATION AND INVERSION
  7. A TUTORIAL BY JAMES P. DAVIS
  8. ----------------------------------------------------------------------
  9.  "+" represents a "TRUE"  or a "1" or an "ON"  state in all cases.D
  10.  "o" represents a "FALSE" or a "0" or an "OFF" state in all cases.
  11.  "=" represents equivalence: two things being equal to each other.
  12.  "not" means to negate or change to the opposite state.
  13. ? Parentheses, "(" & ")", are used for grouping operations that E
  14. Cshould
  15. be performed first.  Nested parentheses, parentheses within >
  16. parentheses, means to perform the innermost operation first.
  17. ----------------------------------------------------------------------
  18. BASIC LOGICAL TRUTH TABLE
  19. ----------------------------------------------------------------------F
  20.     PROPOSITIONS = PREMISES          CASE        LOGICAL CONNECTIONSH
  21. -------------------------------  ------------  -----------------------.
  22.                                   1  2  3  4H
  23. -------------------------------  ------------  -----------------------A
  24.  Basic Premise:              P    +  +  o  o    P = not (not P)A
  25.  Basic Premise:              Q    +  o  +  o    Q = not (not Q)H
  26. -------------------------------  ------------  -----------------------A
  27.  Basic Premise:          not P    o  o  +  +    not P = not (P)A
  28.  Basic Premise:          not Q    o  +  o  +    not Q = not (Q)H
  29. -------------------------------  ------------  -----------------------G
  30.  A =                   P and Q    +  o  o  o    A = not H = not S = ZG
  31.  B =             P and (not Q)    o  +  o  o    B = not G = not T = YG
  32.  C =             (not P) and Q    o  o  +  o    C = not F = not U = XG
  33.  D =       (not P) and (not Q)    o  o  o  +    D = not E = not V = WH
  34. -------------------------------  ------------  -----------------------G
  35.  E =                    P or Q    +  +  +  o    E = not D = V = not WG
  36.  F =              P or (not Q)    +  +  o  +    F = not C = U = not XG
  37.  G =              (not P) or Q    +  o  +  +    G = not B = T = not YG
  38.  H =        (not P) or (not Q)    o  +  +  +    H = not A = S = not ZH
  39. -------------------------------  ------------  -----------------------G
  40.  S =             not (P and Q)    o  +  +  +    S = not A = H = not ZG
  41.  T =       not (P and (not Q))    +  o  +  +    T = not B = G = not YG
  42.  U =       not ((not P) and Q)    +  +  o  +    U = not C = F = not XG
  43.  V = not ((not P) and (not Q))    +  +  +  o    V = not D = E = not WH
  44. -------------------------------  ------------  -----------------------G
  45.  W =              not (P or Q)    o  o  o  +    W = D = not E = not VG
  46.  X =        not (P or (not Q))    o  o  +  o    X = C = not F = not UG
  47.  Y =        not ((not P) or Q)    o  +  o  o    Y = B = not G = not TG
  48.  Z =  not ((not P) or (not Q))    +  o  o  o    Z = A = not H = not SH
  49. -------------------------------  ------------  -----------------------D
  50.  Tautology:       P or (not P)    +  +  +  +    True in all cases.E
  51.  Contradiction:  P and (not P)    o  o  o  o    False in all cases.H
  52. -------------------------------  ------------  -----------------------H
  53. ----------------------------------------------------------------------
  54.